xen/ARM+sched: Don't opencode %pv in printk()'s
authorAndrew Cooper <andrew.cooper3@citrix.com>
Wed, 29 Aug 2018 16:27:44 +0000 (16:27 +0000)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Thu, 6 Sep 2018 16:27:40 +0000 (17:27 +0100)
commita6c501603ca886458b055477532abadfbc9d3606
treef1173801f1ffdd8471a5cf3b085471d127936b0c
parent833a81b439912498e2f554560e296eb6abcf3de7
xen/ARM+sched: Don't opencode %pv in printk()'s

No functional change.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
Reviewed-by: George Dunlap <george.dunlap@citrix.com>
xen/arch/arm/gic-vgic.c
xen/common/sched_null.c